The machinery of consistency proofs
نویسندگان
چکیده
منابع مشابه
Propositional Consistency Proofs
Partial consistency statements can be expressed as polynomial-size propositional formulas. Frege proof systems have polynomial-size partial self-consistency proofs. Frege proof systems have polynomialsize proofs of partial consistency of extended Frege proof systems if and only if Frege proof systems polynomially simulate extended Frege proof systems. We give a new proof of Reckhow’s theorem th...
متن کاملThe Consistency of OWL Full (with proofs)
We show that OWL1 Full without the comprehension principles is consistent, and does not break most RDF graphs that do not use the OWL vocabulary. We discuss the role of the comprehension principles in OWL semantics, and how to maintain the relationship between OWL Full and OWL DL by reinterpreting the comprehension principles as permitted steps when checking an entailment, rather than as model ...
متن کاملEfficient Consistency Proofs on a Committed Database
A consistent query protocol allows a database owner to publish a very short string c which commits her to a particular database D with special consistency property (i.e., given c, every allowable query has unique and well-defined answer with respect to D.) Moreover, when a user makes a query, any server hosting the database can answer the query, and provide a very short proof π that the answer ...
متن کاملConsistency of the predictions: details and theorem proofs
Consistency of the predictions: details and theorem proofs Additional file 2 provides a simple example to show that we need a per level traversal of the DAG, in which levels are defined in the sense of the maximum distance from the root, to obtain consistent predictions that obey the “true path rule”. Indeed looking at the HTD-DAG scores obtained respectively with the minimum and maximum distan...
متن کاملHilbert’s “verunglückter Beweis,” the First Epsilon Theorem, and Consistency Proofs
On the face of it, Hilbert’s Program was concerned with proving consistency of mathematical systems in a finitary way. This was to be accomplished by showing that that these systems are conservative over finitistically interpretable and obviously sound quantifier-free subsystems. One proposed method of giving such proofs is Hilbert’s epsilonsubstitution method. There was, however, a second appr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1989
ISSN: 0168-0072
DOI: 10.1016/0168-0072(89)90050-x